Implémentation d'un modèle d'acteur, application au traitement de données partielles en audit thermique de bâtiment

The nature of energy audit in existing buildings put down some difficulties for computer software realisation. One of the most important aspects, related to the uncertainty of data and their processing in computer programs, has not been taken in account by "classical" systems. The purpose of this thesis is to establish the basis of a new generation of tools for energy audit, using advanced programming techniques. After a detailed analysis of the problem, we give an implementation of an actor model in Scheme, and an experimental realisation. The use of certain important concepts, such as the "continuation", allows us to implement powerful and elegant control structures. The experimental realisation shows clearly the advantage of this new approach to energy audit in existing buildings.